Fonts
The fonts used in this paper are from the Computer Modern family; they should be available to all authors preparing papers with these macros. However, the final copy may be set by the AMS using other fonts.